//
// NewLife.h
// Usage: Main header of kernel
// Create Date: 2007-08-13
// Creator: MaJiuyue
//
#ifndef _NEWLIFE_H_
#define _NEWLIFE_H_

#include <stdarg.h>
#include "const.h"
#include "type.h"

void panic(const char * fmt, ...);
void kprintf(const char *fmt, ...);

/* Check if the bit BIT in FLAGS is set. */
#define CHECK_FLAG(flags,bit)   ((flags) & (1 << (bit)))

/* Config define */
#define MAXIMUM_MEMORY_SIZE	0x20000000
#define KERNEL_RESERVED_SIZE	0x800000
#define KERNEL_STACK_SIZE	0x4000

#endif

